#include <stdio.h>
#include "utkvcfg.h"

int main(int argc, char **argv)
{
	test();

	printf("testing finished\n");
	getchar();
	return 0;
}



